(mark_interval): Add ignored arg.
authorRichard M. Stallman <rms@gnu.org>
Thu, 25 Feb 1993 20:24:25 +0000 (20:24 +0000)
committerRichard M. Stallman <rms@gnu.org>
Thu, 25 Feb 1993 20:24:25 +0000 (20:24 +0000)
commitd393c06819d87fd26ad13768230895c5ec5100ee
tree1566a2d98b10d2d8fe63e0b7a78a61187d561c45
parentec367ad6e6a4196f9fa431b799e855c57f8896ec
(mark_interval): Add ignored arg.
(mark_interval_tree): Pass new arg to traverse_intervals.
src/alloc.c